4

Lawvere theories enriched over a general base

Year:
2009
Language:
english
File:
PDF, 548 KB
english, 2009
12

-Type Dopant

Year:
2006
Language:
english
File:
PDF, 698 KB
english, 2006
16

Multi-Valued Modal Fixed Point Logics for Model Checking

Year:
2010
Language:
english
File:
PDF, 108 KB
english, 2010